Extension problems in intuitionistic plane projective geometry. I
نویسندگان
چکیده
منابع مشابه
Formalizing Projective Plane Geometry in Coq
We investigate how projective plane geometry can be formalized in a proof assistant such as Coq. Such a formalization increases the reliability of textbook proofs whose details and particular cases are often overlooked and left to the reader as exercises. Projective plane geometry is described through two different axiom systems which are formally proved equivalent. Usual properties such as dec...
متن کاملGround Plane Obstacle Detection using Projective Geometry
|The problem addressed in this paper is obstacle detection in the context of mobile robot navigation using visual information. The goal is achieved by analyzing successive pairs of time varying images acquired with the TV camera mounted on the moving robot. Assuming the robot is moving on a at ground, any obstacle is identi ed by any cluster of points not coplanar with the largest number of poi...
متن کاملProjective Geometry I: an Exploration
The aim of this paper and its sequel is to introduce and classify the holonomy algebras of the projective Tractor connection. This paper analyses the Tractor connection, the various structures it can preserve, and their geometric interpretations. It then presents the projective cone construction, a linking between standard affine holonomy and Tractor holonomy, and uses it to define the complex ...
متن کاملAnalytical fuzzy plane geometry I
This paper provides a detailed analysis of fuzzy point, fuzzy line segment, fuzzy distance and the angle between two fuzzy line segments. Two new concepts, same points and inverse points, are defined for this analysis. The basic properties of fuzzy distance, ideas about the containment of a fuzzy point on a fuzzy line segment and the coincidence of two fuzzy points are also described. A linear ...
متن کاملProjective Geometry I: Principles and Properties
The aim of this paper and its sequel is to introduce and classify the holonomy algebras of the projective Tractor connection. After a brief historical background, this paper presents and analyses the projective Cartan and Tractor connections, the various structures they can preserve, and their geometric interpretations. Preserved subbundles of the Tractor bundle generate foliations with Ricci-f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1963
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(63)50035-3